翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

auto magma object : ウィキペディア英語版
auto magma object

In mathematics, a magma in a category, or magma object, can be defined in a category with a cartesian product. This is the 'internal' form of definition of a binary operation in a category.
As Mag the magma category has direct products, the concept of an (internal) magma (or ''internal binary operation'') in Mag is defined, say
\top'\colon (X,\top)\times(X,\top)\to(X,\top)
Since \top' is a morphism we must have
(x \top' y) \top (u \top' z) = (x \top u) \top' (y \top z)
If we want to take the original operation, this will be allowed only if the medial identity
(x \top y) \top (u \top z) = (x \top u) \top (y \top z)
is valid.

This operation, which gives a medial magma, can have a two-sided identity only if it is a commutative monoidal operation. The ''if'' direction is obvious.
As a result Med, the medial category, has all its objects as '' medial objects''; and this ''characterizes'' it.


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「auto magma object」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.